Groups in supersimple and pseudofinite theories
نویسندگان
چکیده
We consider groups G interpretable in a supersimple finite rank theory T such that T eq eliminates ∃∞. It is shown that G has a definable soluble radical. If G has rank 2, then if G is pseudofinite it is soluble-by-finite, and partial results are obtained under weaker hypotheses, such as unimodularity of the theory. A classification is obtained when T is pseudofinite and G has a definable and definably primitive action on a rank 1 set.
منابع مشابه
Supersimple Ω-categorical Groups and Theories
An ω-categorical supersimple group is finite-by-abelian-by-finite, and has finite SU -rank. Every definable subgroup is commensurable with an acl(∅)definable subgroup. Every finitely based regular type in a CM-trivial ω-categorical simple theory is non-orthogonal to a type of SU -rank 1. In particular, a supersimple ω-categorical CM-trivial theory has finite SU -rank.
متن کاملPseudofinite groups with NIP theory and definability in finite simple groups
We show that any pseudofinite group with NIP theory and with a finite upper bound on the length of chains of centralisers is soluble-by-finite. In particular, any NIP rosy pseudofinite group is soluble-by-finite. This generalises, and shortens the proof of, an earlier result for stable pseudofinite groups. An example is given of an NIP pseudofinite group which is not soluble-by-finite. However,...
متن کاملCountable imaginary simple unidimensional theories are supersimple
We prove that a countable simple unidimensional theory that eliminates hyperimaginaries is supersimple. This solves a problem of Shelah in the more general context of simple theories under weak assumptions.
متن کاملRemarks on compactifications of pseudofinite groups
We discuss the Bohr compactification of a pseudofinite group, motivated by a question of Boris Zilber. Basically referring to results in the literature we point out that (i) the Bohr compactification of an ultraproduct of finite simple groups is trivial, and (ii) the “definable” Bohr compactification of any pseudofinite group G, relative to an ambient nonstandard model of set theory in which it...
متن کاملOn Supersimple Groups
An infinite group with supersimple theory has a finite series of definable groups whose factors are infinite and either virtually-FC or virtuallysimple modulo a finite FC-centre. We deduce that a group which is typedefinable in a supersimple theory has a finite series of relatively definable groups whose factors are either abelian or simple groups. In this decomposition, the non-abelian simple ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010